archivi di .mau.

quello che non oso mettere nel mio blog ufficiale

July 9, 2017 Archivi

HOWTO: Cambiare il font in GeoGebra

Una delle cose più fastidiose di GeoGebra è che le etichette degli oggetti sono sempre scritte troppo in piccolo. Per ovviare a questo problema ci sono due possibilità. La prima è aumentare la dimensione di tutti i font da Options → Font Size, e poi ridurre quella del test da Options → Advanced → Font Size. La seconda è mettere come caption del simbolo la stringa

$ \scalebox{4} %n $

dove “4” è la dimensione relativa del carattere rispetto al default. Non dimenticate i dollari 🙂

Se invece si vuole disegnare solo una parte di una curva c(x) tra a e b, si può scrivere nella riga di input

If[a

Leave a comment

(i miei cookie)