7 Jun
2017
7 Jun
'17
5:04 a.m.
On 06/06/2017 10:57 PM, Alan BRASLAU wrote:
My favorite is:
\startext
;-)
Well, I guess this is our star typo :-). Pablo -- http://www.ousia.tk