Warning: this is an htmlized version!
The original is across this link,
and the conversion rules are here.
% Usage:
% \input istanbuldefs
% Used by: (find-LATEX "2015logicandcats.tex")
%          (find-istfile "quotes.tex")
%
% Complements: (find-LATEX "edrxaccents.tex")
% Supersedes:  (find-LATEX "istanbuldefs.tex")
%
% «.chars»	(to "chars")
% «.ttchars»	(to "ttchars")


% «chars» (to ".chars")
% Define the behaviour of special chars in normal text.
%
% A macro to convert a single-char line into a catcode/def thing:
% (setq last-kbd-macro (kbd "C-SPC <right> M-w C-y C-a \\ catcode` <right> =13 SPC \\ def <right> {}\n C-a <down>"))
%
\catcode`°=13 \def°{^\circ}
\catcode`ÂΉ=13 \defÂΉ{^{-1}}
\catcode`²=13 \def²{^2}
\catcode`³=13 \def³{^3}
%\catcode`ÂΌ=13 \defÂΌ{}
%\catcode`½=13 \def½{}
%\catcode`ÂΎ=13 \defÂΎ{}
\catcode`±=13 \def±{\pm}
\catcode`÷=13 \def÷{\div}
\catcode`·=13 \def·{\cdot}
\catcode`×=13 \def×{\times}
\catcode`¬=13 \def¬{\neg}
\catcode`§=13 \def§{\S}
\catcode`‘=13 \def‘{\text{\textexclamdown}}

\catcode`ΞΌ=13 \defΞΌ{\mu}
\catcode`Ξ½=13 \defΞ½{\nu}
\catcode`ρ=13 \defρ{\rho}
\catcode`σ=13 \defσ{\sigma}
\catcode`τ=13 \defτ{\tau}
\catcode`φ=13 \defφ{\phi}
\catcode`χ=13 \defχ{\chi}
\catcode`ψ=13 \defψ{\psi}

\catcode`Ξ”=13 \defΞ”{\Delta}
\catcode`Θ=13 \defΘ{\Theta}
\catcode`Ξ =13 \defΞ {\Pi}
\catcode`Ξ£=13 \defΞ£{\Sigma}
\catcode`Ξ©=13 \defΞ©{\Omega}
\catcode`Ξ±=13 \defΞ±{\alpha}
\catcode`Ξ²=13 \defΞ²{\beta}
\catcode`Ξ³=13 \defΞ³{\gamma}
\catcode`Ξ∧=13 \defΞ∧{\delta}
\catcode`Ξ΅=13 \defΞ΅{\epsilon}
\catcode`Ξ·=13 \defΞ·{\eta}
\catcode`ΞΈ=13 \defΞΈ{\theta}
\catcode`ΞΉ=13 \defΞΉ{\iota}
\catcode`Ξ»=13 \defΞ»{\lambda}
\catcode`π=13 \defπ{\pi}
\catcode`ω=13 \defω{\omega}
\catcode`‒=13 \def‒{\bullet}
\catcode`←=13 \def←{\ot}
\catcode`↑=13 \def↑{\upto}
\catcode`→=13 \def→{\to}
\catcode`↓=13 \def↓{\dnto}
\catcode`↔=13 \def↔{\bij}
\catcode`↕=13 \def↕{\updownarrow}
\catcode`↖=13 \def↖{\nwarrow}
\catcode`↗=13 \def↗{\nearrow}
\catcode`↘=13 \def↘{\searrow}
\catcode`↙=13 \def↙{\swarrow}
\catcode`↣=13 \def↣{\epito}
\catcode`↣=13 \def↣{\twoheadrightarrow}
\catcode`ↀ=13 \defↀ{\mapsfrom}
\catcode`↦=13 \def↦{\mapsto}
\catcode`⇐=13 \def⇐{\Leftarrow}
\catcode`⇒=13 \def⇒{\funto}
\catcode`∀=13 \def∀{\forall}
\catcode`∃=13 \def∃{\exists}
\catcode`∈=13 \def∈{\in}
\catcode`∘=13 \def∘{\circ}
\catcode`∞=13 \def∞{\infty}
\catcode`∧=13 \def∧{\&}       % override
\catcode`∧=13 \def∧{\land}
\catcode`∨=13 \def∨{\lor}
\catcode`∩=13 \def∩{\cap}
\catcode`∩=13 \def∩{\cap}
\catcode`∪=13 \def∪{\cup}
\catcode`≃=13 \def≃{\simeq}
\catcode`≅=13 \def≅{\cong}
\catcode`≠=13 \def≠{\neq}
\catcode`≀=13 \def≀{\le}
\catcode`â‰₯=13 \defâ‰₯{\ge}
\catcode`⊂=13 \def⊂{\subset}
\catcode`⋂=13 \def⋂{\bigcap}
\catcode`⋃=13 \def⋃{\bigcup}
\catcode`⊃=13 \def⊃{\supset}
\catcode`⊆=13 \def⊆{\subseteq}
\catcode`⊇=13 \def⊇{\supseteq}
\catcode`⊒=13 \def⊒{\vdash}
\catcode`⊣=13 \def⊣{\dashv}
\catcode`⊀=13 \def⊀{\top}
\catcode`âŠ₯=13 \defâŠ₯{\bot}
\catcode`♭=13 \def♭{\flat}
\catcode`â™―=13 \defâ™―{\sharp}
\catcode`√=13 \def√{\sqrt}
\catcode`⋁=13 \def⋁{\bigvee}
\catcode`⋀=13 \def⋀{\bigwedge}
\catcode`∅=13 \def∅{\emptyset}
\catcode`∖=13 \def∖{\backslash}

\catcode`âˆΌ=13 \defâˆΌ{\sim}
\catcode`≈=13 \def≈{\approx}
\catcode`≑=13 \def≑{\equiv}


\catcode`⋄=13 \def⋄{\lozenge}
\catcode`⋅=13 \def⋅{\Box}
\catcode`◻=13 \def◻{\Box}
\catcode`…=13 \def…{\ldots}
\catcode`∫=13 \def∫{\int}
\catcode`⇀=13 \def⇀{\rightharpoonup}
\catcode`〈=13 \def〈{\langle}
\catcode`〉=13 \def〉{\rangle}
\catcode`⊙=13 \def⊙{\odot}
\catcode`⊖=13 \def⊖{\ominus}
\catcode`⊕=13 \def⊕{\oplus}
\catcode`⊘=13 \def⊘{\oslash}
\catcode`⊗=13 \def⊗{\otimes}




%\catcode`*=13 \def*{\ensuremath{\bullet}}
%\catcode`=13 \def{\mathscr}

%\catcode`=13 \def{\mathbf}
%\catcode`=13 \def{\par\noindent}
%\catcode`=13 \def{\par}
%\catcode`=13 \def{\mathcal}
%\catcode`Ã⊃=13 \defÃ⊃{o}



% «ttchars» (to ".ttchars")
% Define the behaviour of special chars in verbatim environments.
% From: (find-dn4ex "edrx08.sty" "ttchars")
%       (find-LATEX "edrx15.sty" "ttchars")
% Usage: (find-LATEXgrep "grep -nH -e ttchar *.tex")
%        (find-LATEXfile "2008dnc-sets.tex" "{\\myttchars")
%
% Update with: (find-ist "all.lua" "ttchars")
% or with this macro, that converts a catcode/def line into a def/ttchar line:
% (setq last-kbd-macro (kbd "C-a 13*<delete> SPC 7*<right> \\ ttchar{$ C-e <left> $} C-a <down>"))
%
\def\ttchar#1{\setbox0=\hbox{\texttt{a}}\leavevmode\hbox to \wd0{\hss#1\hss}}
\def\basicttchars{
  % \def*{\ttchar{$\bullet$}}
  \def‘{\ttchar{$\text{\textexclamdown}$}}
  \def§{\ttchar{$\S$}}
  \def¬{\ttchar{$\neg$}}
  \def°{\ttchar{${}^\circ$}}
  \def±{\ttchar{$\pm$}}
  \def·{\ttchar{$\cdot$}}
  \defÂΉ{\ttchar{${}^{-1}$}}
  \def×{\ttchar{$\times$}}
  \defÃ⊃{\ttchar{o}}
  \def÷{\ttchar{$\div$}}
  \defΞ”{\ttchar{$\Delta$}}
  \defΘ{\ttchar{$\Theta$}}
  \defΞ©{\ttchar{$\Omega$}}
  \defΞ±{\ttchar{$\alpha$}}
  \defΞ²{\ttchar{$\beta$}}
  \defΞ³{\ttchar{$\gamma$}}
  \defΞ∧{\ttchar{$\delta$}}
  \defΞ΅{\ttchar{$\epsilon$}}
  \defΞ·{\ttchar{$\eta$}}
  \defΞΈ{\ttchar{$\theta$}}
  \defΞΉ{\ttchar{$\iota$}}
  \defΞ»{\ttchar{$\lambda$}}
  \defπ{\ttchar{$\pi$}}
  \defω{\ttchar{$\omega$}}
  \def‒{\ttchar{$\bullet$}}
  \def←{\ttchar{$\ot$}}
  \def↑{\ttchar{$\upto$}}
  \def→{\ttchar{$\to$}}
  \def↓{\ttchar{$\dnto$}}
  \def↔{\ttchar{$\bij$}}
  \def↕{\ttchar{$\updownarrow$}}
  \def↖{\ttchar{$\nwarrow$}}
  \def↗{\ttchar{$\nearrow$}}
  \def↘{\ttchar{$\searrow$}}
  \def↙{\ttchar{$\swarrow$}}
  \def↣{\ttchar{$\epito$}}
  \def↣{\ttchar{$\twoheadrightarrow$}}
  \def↦{\ttchar{$\mapsto$}}
  \def⇒{\ttchar{$\funto$}}
  \def∀{\ttchar{$\forall$}}
  \def∃{\ttchar{$\exists$}}
  \def∈{\ttchar{$\in$}}
  \def∘{\ttchar{$\circ$}}
  \def∞{\ttchar{$\infty$}}
  \def∧{\ttchar{$\&$}}         % override
  \def∧{\ttchar{$\land$}}
  \def∨{\ttchar{$\lor$}}
  \def∩{\ttchar{$\cap$}}
  \def∪{\ttchar{$\cup$}}
  \defâˆΌ{\ttchar{$\sim$}}
  \def≃{\ttchar{$\simeq$}}
  \def≅{\ttchar{$\cong$}}
  \def≈{\ttchar{$\approx$}}
  \def≠{\ttchar{$\neq$}}
  \def≑{\ttchar{$\equiv$}}
  \def≀{\ttchar{$\le$}}
  \defâ‰₯{\ttchar{$\ge$}}
  \def⊂{\ttchar{$\subset$}}
  \def⊃{\ttchar{$\supset$}}
  \def⊆{\ttchar{$\subseteq$}}
  \def⊇{\ttchar{$\supseteq$}}
  \def⊒{\ttchar{$\vdash$}}
  \def⊣{\ttchar{$\dashv$}}
  \def⊀{\ttchar{$\top$}}
  \defâŠ₯{\ttchar{$\bot$}}
  \def⋄{\ttchar{$\lozenge$}}
  \def⋅{\ttchar{$\Box$}}
  \def◻{\ttchar{$\Box$}}
  \def♭{\ttchar{$\flat$}}
  \defâ™―{\ttchar{$\sharp$}}
  \def…{\ttchar{$...$}}
}







% Local Variables:
% coding: utf-8-unix
% ee-anchor-format: "«%s»"
% End: