I am looking for following symbols:
Total Relation: <<->
Surjective Relation: <->>
Total surjective Relation: <<->>
This is the sort of thing I’m looking for (source):
Can anybody help me?
Thanks in advance.
Here's a way to build symbols like in the document you link to:
You can see that they all have the same width.
Is this what you want?
Or this (from