TeX source:

log_ab=c\iff ({a^c=b}\ \wedge\ {a>0}\ \wedge\ {a\neq1}\ \wedge\ {b>0})