Definition:Order of Group Element/Also denoted as

Definition
The order of an element $x$ in a group is sometimes seen as $\map o x$.

Some sources render it as $\map {\operatorname {Ord} } x$.