3.1

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
3.1#Ex3	${\displaystyle{\displaystyle\ln_{0}(x)=x}}$ \ln_{0}(x) = x		$0[0]ln()*(x) = x	Subscript[$0, 0]Log[]*(x) == x	Skipped - no semantic math	Skipped - no semantic math	-	-
3.1#Ex4	${\displaystyle{\displaystyle\ln_{\ell}(x)=\ln\left(\ln_{\ell-1}(x)\right)}}$ \ln_{\ell}(x) = \ln@{\ln_{\ell-1}(x)}		$0[ell]ln()*(x) = [ell - 1]ln(ln()*(x))	Subscript[$0, \[ScriptL]]Log[]*(x) Subscript[== , \[ScriptL]- 1]Log[Log[]*(x)]	Translation Error	Translation Error	-	-