#document separator #formatting element #fancy line #unicode formatting