![](https://secure.gravatar.com/avatar/08c8acc9d4d1942b8f22d37d18d15583.jpg?s=120&d=mm&r=g)
8 Apr
2003
8 Apr
'03
11 a.m.
From: Hans Hagen
this is a side effect:
option=commands =>
<>
so, in commands mode the << and >> act as braces
option=slanted =>
<<this comes out slanted>>
and here it does a font switch.
Ahh, I understand. Thank you.
Maybe we need another option -)
I didn't find the "<< >> as braces" in the docs. IMHO mentioning it in the docs would suffice. Marko