KaTeXでルイスの厳密含意の記号が使えない