Cerca/sostituisci con carattere di altro font

Salve,
uso gli editor di testo da tempo, ma questo problema non mi era mai capitato di averlo.
Devo sostituire una stringa di caratteri (es: ctrl) con un carattere di un font particolare (es.carattere di un font diverso .

Con cerca e sostituisci mi permette di selezionare il formato (font di partenza), ma a me servirebbe il contrario.

Qualcuno ha avuto il problema o sa come risolverlo?

Grazie in anticipo per l’interessamento

Quello che puoi fare è, una volta trovato il testo, fai Alt-Tab per tornare alla finestra di Writer applichi uno stile di carattere con il font che ti serve. Per esempio, il font Libertinus Keyboard ha delle legature tipografiche che sostituiscono testi per «tasti»: Alt diventa Alt, AltGr diventa AltGr, Tab si trasforma nel tasto del tabulatore, offre sostituzioni per Del, Back, Shift, Enter, ecc.

Quindi non devi cercare un carattere particolare: scrivi il testo corrispondente, applichi lo stile di carattere ed è tutto pronto!

Grazie RGG-es. Quindi non c’è un modo per sostituire direttamente, neanche passando per regex e/o codici ascii?

Sono poche le espressioni regolari che si possono utilizzare nella casella di «sostituisci», perciò solo puoi utilizzare copia incolla per introdurre il carattere a sostituire. Si può comunque applicare formattazione diretta sulla sostituzione (con il cursore in «sostituisci», devi cliccare il tasto di formato) ma non è il massimo: sempre è meglio utilizzare degli stili. Quello che io farei è «cerca tutto» per selezionare il testo a modificare, applicare sul testo selezionato uno stile di carattere appositamente preparato e, se necessario, soltanto alla fine sostituire il testo con il carattere che vuoi.