Very simple question: I'm looking for the symbol that indicates that two worlds from 2 different Kripke-models are bisimilar, that there is a bisimulation between those two.
In most articles a left-right-arrow with a line below is used.
Asked
Active
Viewed 58 times
0
-
3Welcome to TeX.SX! Do you have some references, where the symbol can be seen? – Heiko Oberdiek Aug 08 '15 at 11:24
-
3detexify suggests \leftrightarroweq for which you have to \usepackage{ stmaryrd } – Bort Aug 08 '15 at 11:50
-
@Bort: Will you add an answer? – Aug 08 '15 at 12:58
-
@ChristianHupfer I would, but I cant. I think duplicate-marking is sufficiently anyway – Bort Aug 10 '15 at 17:59