↔)UndirectedEdge[x, y, ...]Undirected 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.
UndirectedEdge[x, y, z]
a <-> b