積分記号 とか ギリシャ文字 でググッて
文字名称を変換すりゃだいたい変換できるだろ