22 Mar
2010
22 Mar
'10
3:18 p.m.
Am 22.03.10 16:00, schrieb Aditya Mahajan:
For some reason it is defined as \lbracket in MkIV and undefined in MkII. Does anyone use \lbracket? If not, we can change it to \lbrack. Otherwise, we can also have both \lbrack and \lbracket defined.
Any thoughts? Either both or the long form only, memory is no longer a reason to create funny names like \infty (can we add \infinity please)
Wolfgang