2
$\begingroup$

I am writing a report with some mathematical formulae. I have a well-known book along side, very often, I just use the same notation as the paper. For instance, at the moment I write:

$((x_n, val_n))_{n \in \mathbb{N}} \in (\mathbb{X} \times (\text{Int}_{\mathbb{V} \cup \{-\infty, \infty\}} (\text{defined at theorem 2.3.5 of the book})$ $\cup \{\{\bot_\text{bool}\}, \{\text{false}\}, \{\text{true}\}, \{\top_\text{bool}\}\}))^{|\mathbb{N}|}$ $\stackrel{\triangle}{=} (\mathbb{X} \times (\mathcal{E}^\sharp_{\textbf{interv}} (\text{defined at exercice 4.3.7 of the book})))$...

Could anyone tell me where I should put "defined at .... of the book" nicely, and make the mathematical formulae clean?

Thank you very much

  • 0
    "In this section, we follow the notation used by Author (2001)."2011-12-06

0 Answers 0