⇴)DirectedEdge[x, y, ...]Directed edges are typically used in network graphs. In Mathics3, network graphs are supported through a Mathics3 module.
Issue LoadModule["pymathics.graph"] after pip installing Python package pymathics-graph.
DirectedEdge[x, y, z]
a \[DirectedEdge] b