\documentclass{article}
\usepackage{latexml}
\usepackage{amsmath}
\begin{document}
% Examples of modifier expressions that have been disconnected from their anchor (to which they apply)
% Typically due to table alignments, or interleaving with natural language terminology

% modulo some expression
$\mod -2y$

% such that some predicate
$:x<2$

% parenthetical, marking a dependent clause the way comas would in natural language, that shows a restriction via a predicate
$(<0)$ 

% Modifier Expressions
$>0$

$(>0)$

$x(>0)$

$h(\in C)$

$x : \mathrm{Integer}$

$f : \mathrm{Integer} \Rightarrow \mathrm{Real}$

$\rightarrow G$

$ 5\equiv 8 \pmod 3 $

\end{document}