Agda इनपुट विधि,,, ⇒, और लेटेक्स निर्यात


1

मैं उपयोग कर सकता हूं agda इनपुट विधि मेरी अच्छी बीमर प्रस्तुति में सहजता से एक गजिल यूनिकोड चरित्र टाइप करने के लिए emacs में।

अब मैं इसे लेटेक्स के साथ संसाधित करना चाहता हूं और मुझे जाहिरा तौर पर हाथ से utf8 पैकेज से प्रत्येक लापता यूनिकोड को मैप करना होगा

\documentclass{article}

\usepackage[T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{newunicodechar}

% missing Welsh coverage
\newunicodechar{Ŵ}{\^W}
\newunicodechar{ŵ}{\^w}
\newunicodechar{Ŷ}{\^Y}
\newunicodechar{ŷ}{\^y}
....

हाथ से ऐसा करने से बचने का क्या तरीका है?

यह कैसे संभव है कि हर ब्राउज़र या संपादक मूल रूप से Σ Late ⇒ और लेटेक्स, जैसी चीजों का समर्थन करता है एक प्रणाली टाइप करने के लिए गणित देशी नहीं है? क्या मैं कुछ भुल गया ??

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.