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