• Οδηγίες για γραφή Μαθηματικού Κειμένου στο mathematica.gr
  • Για τα μέλη που δεν γνωρίζουν την \rm\LaTeX :

    Οι μαθηματικοί τύποι στο mathematica.gr γράφονται με την \rm\LaTeX.

    Κάποιες βασικές οδηγίες υπάρχουν στο Εισαγωγικές Οδηγίες για Εισαγωγή Μαθηματικού Κειμένου (θα τις βρείτε και λίγο παρακάτω) και περισσότερες στον ειδικό φάκελο Οδηγίες για γραφή με TeX.

    Ένας εναλλακτικός & εύκολος τρόπος για να έχουμε τον κώδικα \rm\LaTeX που θέλουμε είναι με την χρήση του Editor που υπάρχει πάνω από τη δημοσίευση.

    \color{grey}{\bullet} Χρησιμοποιώντας τα κατάλληλα κουμπιά του Editor στο ορθογώνιο πλαίσιό του, εμφανίζεται αμέσως μετά ο κώδικας \rm\LaTeX ενώ από κάτω εμφανίζεται ο μαθηματικός τύπος που αντιστοιχεί στον κώδικα.

    \color{grey}{\bullet} Όταν γράψουμε τον μαθηματικό τύπο που θέλουμε, αντιγράφουμε τον κώδικα από το ορθογώνιο πλαίσιο και το επικολλούμε στο παράθυρο της δημοσίευσή μας βάζοντάς τον ανάμεσα σε δυο δολλάρια (ή τον επικολλούμε, τον "επιλέγουμε" με το ποντίκι και πατάμε το κουμπί tex).

    \color{grey}{\bullet} Ελέγχουμε πάντοτε με την "προεπισκόπηση" αν οι μαθηματικοί τύποι εμφανίζονται σωστά.

    Δυο εισαγωγικά βίντεο για την χρήση του EqEditor μπορείτε να δείτε στο youtube-κανάλι του mathematica.gr:
    EqEditor tutorial (εισαγωγή) και EqEditor tutorial 2 (παραδείγματα).
  • Δημοσίευση forum
  • Καταρχάς, ό,τι θέλουμε να μεταφραστεί σε \rm\LaTeX, θα πρέπει να τοποθετείται ανάμεσα σε δολλάρια (Υπάρχει ένα κουμπάκι παραπάνω το οποίο γράφει "tex". Εάν "επιλέξετε" τον κώδικα \rm\LaTeX και το πατήσετε, αυτόματα ο κώδικας βρίσκεται ανάμεσα σε δολλάρια). Ας δούμε ένα απλό παράδειγμα:

    To

    Κώδικας: Επιλογή όλων

    $x^2 + y^2 = 3$


    θα μας δώσει

    x^2 + y^2 = 3.

    Όπως θα καταλάβατε, το "^" υποδηλώνει ύψωση σε εκθέτη. Ας πούμε τώρα ότι θέλουμε να δώσουμε στις μεταβλητές μας και ένα δείκτη. Για το σκοπό αυτό χρησιμοποιούμε το underscore "_":

    Το

    Κώδικας: Επιλογή όλων

    $x_1^2 + x_2^2 = 1 $



    θα μας δώσει

    x_1^2 + x_2^2 = 1

    Όταν ο εκθέτης/δείκτης μας είναι κάπως πιο σύνθετος, θα πρέπει να δηλώσουμε ρητώς τα όρια αυτού με χρήση αγκυλών:

    Πχ, το

    Κώδικας: Επιλογή όλων

    $e^{i \pi} = -1$



    θα μας δώσει

    e^{i \pi} = -1

    Γενικά, οι αγκύλες στη \LaTeX αποτελούν οριοθέτες των ορισμάτων που δέχονται οι εντολές της. (κάτι αντίστοιχο με τις παρανθέσεις που συναντάμε στις περισσότερες γλώσσες προγραμματισμού)


    Είναι φανερό ότι είναι γρηγορότερο να χρησιμοποιούμε να εσωκλείουμε τη μαθηματική παράσταση ανάμεσα σε δολλάρια όταν γράφουμε μαθηματικά κείμενα από το να τα εσωκλείουμε στα

    Κώδικας: Επιλογή όλων

    $ και $
    για λόγους συντομίας στη γραφή. [/color]

    Για να γράψουμε ένα κλάσμα, χρησιμοποιούμε την εντολή \frac{αριθμητής}{παρονομαστής}:

    Κώδικας: Επιλογή όλων

    $ \frac{1}{2^n} \rightarrow 0 $
    δίνει

    \frac{1}{2^n} \rightarrow 0.

    Πάμε τώρα σε κάτι προχωρημένο: Ας πούμε ότι θέλουμε να γράψουμε ένα ολοκλήρωμα. Το σύμβολο του ολοκληρώματος τοποθετείται με την εντολή \int (integral). Ο προσδιορισμός των ορίων του είναι πολύ απλή υπόθεση: Το κάτω όριο είναι ο δείκτης του ολοκληρώματος, ενώ το πάνω είναι ο εκθέτης:

    Κώδικας: Επιλογή όλων

    $ \int_a^b f(t) dt = 1 $
    που μας δίνει \int_a^b f(t) dt = 1
    Με τρόπο αντίστοιχο γράφονται τα αθροίσματα:

    Κώδικας: Επιλογή όλων

    $ \sum_{n=0}^{\infty} \frac{1}{n!} = e $
    που μας δίνει \sum_{n=0}^{\infty} \frac{1}{n!} = e.

    Εάν θέλουμε να εμφανίζονται καλύτερα τα ολοκληρώματα και τα αθροίσματα τότε μπροστά από τις εντολές \int και \sum βάζουμε την εντολή \displaystyle.

    Έτσι οι παραπάνω εντολές γράφονται

    Κώδικας: Επιλογή όλων

    $ \displaystyle \int_a^b f(t) dt = 1 $
$ \displaystyle \sum_{n=0}^{\infty} \frac{1}{n!} = e $
    και μας δίνουν

    \displaystyle \int_a^b f(t) dt = 1
    \displaystyle \sum_{n=0}^{\infty} \frac{1}{n!} = e


    Παρατηρήστε ότι μπορούμε πάντοτε να βλέπουμε τον κώδικα ενός μαθηματικού τύπου άμα περάσουμε τον κέρσορα του mouse πάνω από την αντίστοιχη εικόνα, κάτι ιδιαίτερα χρήσιμο:

    Ας δούμε μερικά απλά παραδείγματα:
    1 < 2
    0 < x \leq 1 \Rightarrow x^{-1} \geq 1
    A, B \subset X.
    A \cup B = X.
    A \cap B = \emptyset
    x \in A \Rightarrow x \notin B
    X = \bigcup_{n=1}^{\infty}A_n
    (\alpha_n) \subseteq \mathbb{R}

    \alpha_n \rightarrow \alpha \Leftrightarrow \forall \epsilon > 0, \exists n_0 \in \mathbb{N}: \forall n \geq n_0 \Rightarrow | \alpha_n - \alpha | < \epsilon

    Ας υποθέσουμε ότι θέλουμε να παραστήσουμε τon τύπο της Ευκλείδειας νόρμας. Ο λογικός τρόπος θα ήταν γράψουμε τον τύπο ως εξής:

    Κώδικας: Επιλογή όλων

    $ ( \sum_{i=1}^n |x_i|^2 )^{1/2} $
    Μια τέτοια προσέγγιση θα μας δώσει ένα μάλλον άσχημο αποτέλεσμα:

    ( \sum_{i=1}^n |x_i|^2 )^{1/2}

    Οι παρενθέσεις είναι πολύ πιο μικρές από το περιεχόμενό τους. Το πρόβλημα αυτό λύνεται άμα δηλώσουμε κάπως πιο "φανερά" τα όρια των παρενθέσεων. Αυτό επιτυγχάνεται με τη χρήση των εντολών \left και \right:

    Κώδικας: Επιλογή όλων

    $ \left(   \sum_{i=1}^n |x_i|^2  \right)  ^{1/2}$
    που μας δίνει ένα πολύ πιο όμορφο αποτέλεσμα:

    \left( \sum_{i=1}^n |x_i|^2 \right) ^{1/2}

    Το ίδιο μπορούμε να κάνουμε για παραστάσεις που έχουν αγκύλες.

    Ας πάμε τώρα σε κάτι πιο δύσκολο..
    Έστω ότι θέλουμε να γράψουμε τον πίνακα \left( \begin{array}{c c c} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{array} \right)
    Σας γράφω ευθύς αμέσως τον κώδικα:

    Κώδικας: Επιλογή όλων

    $ \left(
\begin{array}{c c c}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1
\end{array}
\right) $
    * Τα \left( και \right) δημιουργούν τις παρενθέσεις γύρω από τα στοιχεία του πίνακα κατά τον τρόπο που εξηγήσαμε προηγουμένως
    * Τα \begin{array} και \end{array} ορίζουν τη δημιουργία ενός πίνακα. Αυτός δεν είναι ένας πίνακας κατά την αυστηρή μαθηματική έννοια, αλλά αποτελεί μια γενικότερη δομή που συναντάται στις markup γλώσσες. Όσοι γνωρίζουν html θα καταλαβαίνουν τι εννοώ. Δεν απότελει ωστόσο στόχος του παρόντος άρθρου η εμβάθυνση στους πίνακες της \LaTeX.
    * Το όρισμα {c c c} εν ολίγοις υποδεικνύει το πλήθος των στηλών που θα έχει ο πίνακας. 3 c σημαίνει 3 στήλες. O χαρακτήρας "c" (center) υποδηλώνει την ευθυγράμιση των στοιχείων της συγκεκριμένης στήλης. Εναλλακτικές επιλογές αποτελούν τα "l" (left) και "r" (right)
    * Tέλος, στο εσωτερικό της εντολής γίνεται η εισαγωγή των στοιχείων του πίνακα. Τα στοιχεία διαχωρίζονται με τη χρήση του "&" ενώ με το "\\" δηλώνουμε αλλαγή γραμμής


    Θέλω να γράψω τώρα τη "δίκλαδη" ακολουθία a_n = \left\{ \begin{array}{c l}n^2, & n = 2k \\ 0 , & n = 2k+1 \end{array} \right.
    Αυτό μπορεί να γίνει πάλι με χρήση πινάκων:

    Κώδικας: Επιλογή όλων

    $ a_n = \left\{
\begin{array}{ c l }
n^2,   &    n = 2k  \\
0,   &    n = 2k + 1
\end{array}
\right. $
    Εδώ να σημειώσουμε ότι όποτε θέλουμε να εμφανίσουμε μια αγκύλη, θα πρέπει πάντοτε στον κώδικα μας να γράφουμε \{, ώστε να αποφεύγεται η σύγχυση με τις αγκύλες που καθορίζουν ορίσματα. To \right. που γράψαμε στο τέλος είναι απλώς ένα θέμα ορθότητας του κώδικά μας. Με αυτό "κλείνουμε" την αριστερή αγκύλη που ανοίξαμε, χωρίς ωστόσο να εμφανίζεται κάποιος χαρακτήρας από τα δεξιά.


    Τι συμβαίνει στην περίπτωση που θέλουμε να χρησιμοποιήσουμε ελληνικούς χαρακτήρες ως μαθηματικά σύμβολα; Η προσέγγιση εδώ διαφέρει κάπως.
    H \LaTeX διαθέτει έτοιμες εντολές για τα γράμματα του ελληνικού αλφαβήτου, ανεξαρτήτως γλώσσας που χρησιμοποιείται:

    Κώδικας: Επιλογή όλων

    \alpha, \beta, \gamma, \delta, \epsilon, \zeta, \eta, \theta, \iota,
\kappa, \lambda, \mu, \nu, \xi, o, \pi, \rho, \sigma, \tau,
\upsilon, \phi ,\varphi, \chi, \psi, \omega
    και τότε εμφανίζονται τα αντίστοιχα γράμματα

    \alpha, \beta, \gamma, \delta, \epsilon, \zeta, \eta, \theta, \iota, \kappa, \lambda, \mu, \nu, \xi, o, \pi, \rho, \sigma, \tau, \upsilon, \phi ,\varphi, \chi, \psi, \omega
    ενώ για κεφαλαία γράφουμε:

    Κώδικας: Επιλογή όλων

    \Pi, \Omega, \Gamma, \Lambda, \Xi
    \Pi, \Omega, \Gamma, \Lambda, \Xi κτλ (Αρκεί να βάλουμε το πρώτο γράμμα κεφαλαίο)
    Επομένως, ο τύπος για το μήκος κύκλου γράφεται:

    Κώδικας: Επιλογή όλων

    $
L = 2 \pi r $
    και τότε εμφανίζεται το L = 2 \pi r


    Ένας εναλλακτικός & εύκολος τρόπος για να έχουμε τον κώδικα \rm\LaTeX που θέλουμε είναι με την χρήση του EqEditor. Αυτός εμφανίζεται (σε ξεχωριστό παράθυρο) όταν πατάμε το κουμπί EqEditor που βρίσκεται στην μπάρα του παραθύρου δημοσίευσης.
    • Χρησιμοποιώντας τα κατάλληλα κουμπιά του EqEditor στο ορθογώνιο πλαίσιό του εμφανίζεται ο κώδικας \rm\LaTeX ενώ από κάτω εμφανίζεται ο μαθηματικός τύπος που αντιστοιχεί στον κώδικα.
    • Όταν γράψουμε τον μαθηματικό τύπο που θέλουμε, αντιγράφουμε τον κώδικα από το ορθογώνιο πλαίσιο και το επικολλούμε στο παράθυρο της δημοσίευσή μας βάζοντάς τον ανάμεσα σε δυο δολλάρια (ή τον επικολλούμε, τον "επιλέγουμε" με το ποντίκι και πατάμε το κουμπί tex).

    Κάπου εδώ τελειώνει αυτή η εισαγωγή στα μαθηματικά της \rm\LaTeX. Σε καμία περίπτωση δε μπορούμε να πούμε ότι ο οδηγός αυτός είναι πλήρης. Ωστόσο ελπίζουμε ότι πλέον κατέχετε τα στοιχειώδη και μπορείτε να συμβάλετε στις μαθηματικές συζητήσεις του forum. Προπαντώς θα πρέπει να εξασκείστε και να πειραματίζεστε και να μη διστάζετε να κάνετε ερωτήσεις! Για μια πιο πλήρη βιβλιογραφία πάνω στη \LaTeX γενικότερα, σας παραπέμπω και στις εξής σελίδες
    posting.php?mode=post&f=38
    1) http://www.artofproblemsolving.com/LaTe ... mmands.php όπου θα βρείτε κι άλλες εντολές
    2) http://www.artofproblemsolving.com/LaTe ... ideSym.php όπου θα βρείτε κι άλλα μαθηματικά σύμβολα.

    Για τις δοκιμές σας, χρησιμοποιείστε το άλλο section αυτού του Forum που ονομάζεται "Δοκιμές γραφής με το TeX"

    Happy \rm\TeX-ing!

    Edit: 14/9/2017 Οι οδηγίες προσαρμόσθηκαν σύμφωνα με τον νέο τρόπο γραφής του \color{dred}\rm\LaTeX