It would be great to use only \medcirc and \circledtimes from the pxfonts or to design the similar symbols by other techniques. The symbols from pxfonts are quite well but when I connect the ...
It's neccessary to have at least two extra tuples of Albera Operators. A minimal tuple is a triple (to_be_subset_eq, meet_operator, join_operator). There are some ideas how to make 2 extra tupes. ...
What Is there a symbol that is slightly different from $\forall$ (e.g. having a second line from upper left to lower middle)? It should obviously mean "for all" but be sufficiently different to not ...