Re: new bar-lines / issue 1320

[Janek Warchoł]

On Mon, Jun 4, 2012 at 10:55 AM, David Kastrup <address@hidden> wrote:
> Werner LEMBERG <address@hidden> writes:
>> Uh, oh, please not a letter.  I almost always use seriffed fonts, and
>> it looks rather strange.  What slightly longer but easy to remember
>> symbolics?
>>
>>   ||

Please no.  Let's keep this one-lettered.
(otherwise it would be quite good)

> How about ! then?  It actually has both | and . in it, and it _is_ a
> sentence ending punctuation.

better than ||, but ! is visually smaller than | :/
Also, ! is a bit awkward to type.

hmm... "="?  It has certain boldness to it.
But i'm not totally convinced.

cheers,
Janek