For instance, I'm looking for symbols for the following ternary relations:
- f is a relation with source X and target Y.
- f is a left-total relation with ditto
- f is a right-total relation with ditto
- f is a left-and-right total relation with ditto
There's more (I'm looking for 16 different symbols, in total), but I won't list them all here. Anyway, is the TeX forum a good place to ask?