17 Jul
2012
17 Jul
'12
5:13 p.m.
Dear all, The \blacktriangle and \blacktriangledown symbol seem to be missing, though \blacktriangleright and \...-left are defined. Is there a quick way to add missing symbols by myself from the knowledge of Unicode / XML identifier (http://www-sop.inria.fr/marelle/tralics/doc-b.html)? Cheers, Andreas