<<< native [ EIdentifier "B" , EUnderover False (ESymbol Op "\8594") (EIdentifier "f") (EGrouped []) , EIdentifier "A" , EUnderover False (ESymbol Op "\8592") (EIdentifier "f") (EGrouped []) , EIdentifier "C" ] >>> typst B arrow.r_f^() A arrow.l_f^() C