![](https://secure.gravatar.com/avatar/5955e8e90611e77ccbfc7721b6112027.jpg?s=120&d=mm&r=g)
6 Jun
2017
6 Jun
'17
11:04 p.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