Equivalent[e_1, e_2, ...] represents the logical equivalence e_1 \[DoubleLeftRightArrow] e_2 \[DoubleLeftRightArrow] ..., giving True when all of the e_i are the same.
ExportString[expr, " format"] generates a string corresponding to expr exported in the specified format. ExportString[rules, {"format", "Rules"}] gives explicit rules for ...
FromCharacterCode[n] gives a string consisting of the character with integer code n. FromCharacterCode[{n_1, n_2, ...}] gives a string consisting of the sequence of ...
GridBox
(Built-in Mathematica Symbol) GridBox[{{box_11, box_12, ...}, {box_21, box_22, ...}, ...}] is a low-level box construct that represents a two-dimensional grid of boxes or strings in notebook expressions.
Implies
(Built-in Mathematica Symbol) Implies[p, q] represents the logical implication p \[DoubleRightArrow] q.
OpenWrite["file"] opens a file to write output to it, and returns an OutputStream object. OpenWrite[] opens a new file in the default area for temporary files on your ...
Pi
(Built-in Mathematica Symbol) Pi is \[Pi], with numerical value \[TildeEqual] 3.14159.
Short
(Built-in Mathematica Symbol) Short[expr] prints as a short form of expr, less than about one line long. Short[expr, n] prints as a form of expr about n lines long.
StyleBox[boxes, options] is a low-level representation of boxes to be shown with the specified option settings. StyleBox[boxes, " style"] uses the option setting for the ...
Xnor
(Built-in Mathematica Symbol) Xnor[e_1, e_2, ...] is the logical XNOR (not XOR) function. It gives True if an even number of the e_i are True, and the rest are False. It gives False if an odd number of ...