In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+22D7 (GREATER-THAN WITH DOT).
In Relations103
All 103 in RelationsThe ⋗ symbol (Greater-than with dot, U+22D7), written as \gtrdot in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+22D7 (GREATER-THAN WITH DOT).