I know I can render the boolean expression $$ \mathrm{all}(e_i.type = \mathsf{int})_{i \in 1..n} $$ as $$ \bigwedge_{i=1}^n e_i.type = \mathsf{int} $$ and the boolean expression $$ \mathrm{any}(e_i.type = \mathsf{int})_{i \in 1..n} $$ as $$ \bigvee_{i=1}^n e_i.type = \mathsf{int} $$ and how to do similar expressions such as sums ($\Sigma$) and products ($\Pi$). But is there any way to render the following expression with one of those “big symbols”? $$ \mathrm{let}\; ((s_i', \xi_i) = \mathcal{S}\;s_i\;\xi_{i-1})_{i \in 1...n}\;\mathrm{in}\;(\mathsf{Block}\;s_1'\;...\;s_n') $$ I’m doing a sequence of bindings. I’m not summing or multiplying or anding or oring....just binding. Is there a conventional way to show this sequence of bindings, perhaps one using a big symbol? Or is my notation as good as any?


How about:

$$(s'_i,\xi_i)\mathop{=}\limits_{i=1}^n\mathcal{S} s_i\xi_{i-1}$$

  • $\begingroup$ That's actually very cool. I had not seen it before. Will be using it, though. $\endgroup$ – Ray Toal Jan 27 '17 at 19:47

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.