[Allegro] listenerzeugung: den sachtitel #20 in klammern auswerfen. wie? so trivial?!

[Bernhard Eversberg]

Am 23.11.2010 11:28, schrieb Klaus Lehmann:
>
>
> die doku verrät uns in 10.2.6.3 (mani.befehle)
> wenn man [<>~/"? suchen/ersetzt haben will, dann muß man es in []
> einschliessen.
> ergo:
> #20 p"["]" P"["]" e" : " #20 0 #27 5 #40 0 #69 9 #77 0 #80m 8 #zz 0
> das klappt aber nicht.
> eines (welches?) von den eckigen klamern wirft der export raus, d.h.
> wir sehen es. aber von dem " keine spur.
>
> wo ist meine blockade?

Es geht hier nicht ums Suchen/Ersetzen, sondern ums Einsetzen, das ist
was ganz anderes. Und die eckigen Klammern haben auch eine andere
Bedeutung als die hier intuitionierte: sie besagen, daß die darin
eingeschlossenen Zeichen einzeln (jedes für sich, ob eins davon
vorkomme) nicht als Zeichenfolge, zu suchen sind. So etwas ergibt für
p und P gar keinen Sinn.

Der M-Befehl  p"..." kann entweder durch  p'...' ersetzt werden, also
   p'"'  bzw.  P'"'

oder aber man schreibt

   p{ 34 }   bzw.   P{ 34 }

Handbuch s. insbes. S.167 "Konventionen" und S.170 b)

B.E.