See table of mathematical symbols. Modal operator for it is necessary that in modal logic or it is provable that in provability logic or it is obligatory that in deontic logic or it is believed that in doxastic logic. Amsmath amssymb or mathtools.
Is not greater than leq.
A loop is a repetition of all or some parts of the commands steps A loop often has a counter a variable and. The following list of mathematical symbols by subject features a selection of the most common symbols used in modern mathematical notation within formulas grouped by mathematical topic. As it is virtually impossible to list all the symbols ever used in mathematics only those symbols which occur often in mathematics or mathematics education are included. Refer to the external references at the end of this article for more information.