\LOG{0.5}{\sol} $\log 0.5=\sol$