数学記号というインターフェース