Svarade på följande kommentar i en annan tråd, tänkte jag lägger upp samma svar här ifall fler känner likadant:
Citat:
Ursprungligen postat av
starke_adolf
[...] det är dessutom extremt jobbigt att skriva med logiska symboler på Flashback.
Filer:
https://dl.dropboxusercontent.com/u/...place_text.zip
Installation:
Ladda hem symbol_table.txt och antingen replace_marked_text.zip eller replace_marked_text.ahk, lägg allt i samma mapp. Zipfilen innehåller en kompilerad körbar version av skriptet. AHK-filen kräver installation av
autohotkey, men då slipper du köra en .exe från internet om du inte känner för det.
Användning:
1) Skriv vanlig text med specialsymboler, typ x \in \C, x^2 < 0 => Im{x} != 0.
2) Markera all text (eller bara det du vill köra ersättning på).
3) Tryck på shift+ctrl+c (från text till symboler) eller shift+ctrl+z (från symboler tillbaka till text).
Resultat på exempeltexten: x ∈ ℂ, x² < 0 ⇒ Im{x} ≠ 0
shift+ctrl+h öppnar symbol_table.txt i notepad, så att du kan införa stöd för egna symboler, enkelt format men läs i toppen av filen!
Skriptet är korkat (hrm.. enkelt?) skrivet, det läser igenom symbol_table vid varje ersättning. Funkar bra och snabbt med nuvarande storlek på symbol_table, men kan vara bra att veta.