A relational symbol representing a triangle operator used in mathematical logic and abstract algebra for specialized operations.
Examples
Difference operator in calculus
\vartriangle y = y_{n+1} - y_n
Forward difference notation in discrete mathematics
\vartriangle f(x) = f(x + h) - f(x)
Change in a variable
\vartriangle P = P_2 - P_1 \text{ represents pressure change}