Manuals/calci/LT

LT (A,B)

• Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} any two real numbers.

Description

• This function is the test for strictly less than for the given numbers.
• In Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle LT(A,B)} ,Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle B} are any two real numbers.
• If A is strictly less than to B then will return the result as TRUE.
• If A is equal to or not strictly less than to B then will return the result as FALSE.

Examples

1. LT(10,7) = false
2. LT(2981,3982) = true
3. LT(-90,-49) = true

See Also

• GE
• GTE
• LE
• List of Main Z Functions
• Z3 home

References

Less Than

• List of Main Z Functions
• Z3 home