++x increases the value of x by 1, returning the new value of x.
SatisfiableQ[bf] gives True if a combination of values of variables exists that makes the Boolean function bf yield True.SatisfiableQ[expr, {a_1, a_2, ...}] gives True if a ...
SpellingOptions -> {opt_1 -> val_1, opt_2 -> val_2, ...} is an option for notebooks that specifies settings for spell checking.
SubscriptBox[x, y] is the low-level box representation for x_y in notebook expressions.
Subscript[x, y] is an object that formats as x_y. Subscript[x, y_1, y_2, ...] formats as x Subscript[y, 1], Subscript[y, 2], ....
SuperscriptBox[x, y] is the low-level box representation for x^y in notebook expressions.
ToCharacterCode["string"] gives a list of the integer codes corresponding to the characters in a string. ToCharacterCode["string", " encoding"] gives integer codes according ...
TopologicalSort[g] gives a list of vertices of g in topologically sorted order for a directed acyclic graph g.
TotalVariationFilter[image] iteratively reduces noise while preserving edges in image.TotalVariationFilter[image, param] assumes a regularization parameter value param.
UnderscriptBox[x, y] is the low-level box representation for UnderscriptBox[x, y] in notebook expressions.