![](https://secure.gravatar.com/avatar/a9569c0144001424e70287ebde8f600e.jpg?s=120&d=mm&r=g)
17 Jul
2012
17 Jul
'12
11:13 a.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