Can I use a show rule to modify composite expressions such as `->^~`?

Questions
,
1

Is it possible to use a show rule to show $->^~$ as ⥲?

2 
#show math.attach.where(
  base: $->$.body,
  t: $~$.body,
  b: none,
  tl: none,
  bl: none,
  tr: none,
  br: none,
): $arrow.r.tilde$ // ⥲

$x ->^~ y$

image

7 Likes
3

Wow, that’s great!