How to recreate embellished implication arrows?

Questions
,
1

Hi, I’m trying to recreate these embellished implication/equivalence arrows,

image
image938×145 12.3 KB

my current approach is this:

#let equiv = math.class(
  "relation",
  $prec #h(-1.2mm) arrow.r.l.double.long #h(-1.2mm) succ$
)

which leaves a lot to be desired:

image
image471×180 7.05 KB

Any help would be greatly appreciated!

2

Which font are you using? Mine looks better than your example.

#let equiv = math.class(
  "relation",
  $prec #h(-1.2mm) arrow.r.l.double.long #h(-1.2mm) succ$
)

$ a equiv b $

image
image330×151 4.61 KB

Though I would still say this is not as good as the example you gave.

3

I forgot I was using XITS Math, it does indeed look a lot better with the default font, thanks!

1 Like
4

Out of curiosity, are you able to link to the reference where you got your example? Since this symbol isn’t defined in the unicode standard (at least not in the arrows range 2190–21FF nor any of the supplemental arrows ranges 27F0–27FF, 2900–297F, 1F800–1F8FF), it might be useful to look more closely how the reference implements this

5

The reference image is a screenshot from the book Gödel’s Theorems and Zermelo’s Axioms in case that’s of any help, but I don’t have any details on how it was accomplished there. During a very brief search I also didn’t find any latex package providing arrows like this.
In case it’s of any help, selecting and copying the arrow in the pdf yields Î===Ï.