span.test

<<< native
[ EIdentifier "Y"
, EOver False (ESymbol Op "\8592") (EIdentifier "f")
, EIdentifier "X"
, EOver False (ESymbol Op "\8594") (EIdentifier "g")
, EIdentifier "Z"
]
>>> starmath
Y leftarrow csup {f} X toward csup {g} Z