Message[symbol::tag] prints the message symbol::tag unless it has been switched off. Message[symbol::tag, e_1, e_2, ...] prints a message, inserting the values of the e_i as ...

a ** b ** c is a general associative, but non-commutative, form of multiplication.

SatisfiabilityInstances[bf] attempts to find a choice of variables that makes the Boolean function bf yield True.SatisfiabilityInstances[expr, {a_1, a_2, ...}] attempts to ...

SetAttributes[s, attr] adds attr to the list of attributes of the symbol s.

$RecursionLimit gives the current limit on the number of levels of recursion that Mathematica can use.

When you do long calculations, it is often convenient to give names to your intermediate results. Just as in standard mathematics, or in other computer languages, you can do ...

DSolve can find solutions for most of the standard linear second-order ODEs that occur in applied mathematics. Here is the solution for Airy's equation. Here is a plot that ...

When you set up mathematical formulas, you often have to introduce various kinds of local objects or "dummy variables". You can treat such dummy variables using modules and ...

The built-in Mathematica iteration functions such as Table and Sum evaluate their arguments in a slightly special way. When evaluating an expression like Table[f,{i,i_max}], ...

In most cases, you want the head f of a Mathematica expression like f[x] to be a single symbol. There are, however, some important applications of heads that are not symbols. ...