Hi Hans, I get the impression that in math-lbr.tex the codes for blacktriangleleft and -right are interchanged. Having F0 where it should be F1 and vice versa. Imho it should be left = F0 and right = F1. Hans van der Meer