Commit 4b6c1529 authored by Glen Mével's avatar Glen Mével
Browse files

fix spacing (bis)

parent c4d7ae85
...@@ -13,13 +13,13 @@ We equip the product set \(\Z \times \typeView\) with a lattice structure ...@@ -13,13 +13,13 @@ We equip the product set \(\Z \times \typeView\) with a lattice structure
induced by the lexicographic order, where the order on the view component is induced by the lexicographic order, where the order on the view component is
the reversed inclusion. In other words the relation order, join and meet the reversed inclusion. In other words the relation order, join and meet
operations are defined like so: operations are defined like so:
%
% GLEN: % GLEN:
% - Ultimately we are interested in the relation order. % - Ultimately we are interested in the relation order.
% - In order to build a resource algebra, Iris requires the join operation. % - In order to build a resource algebra, Iris requires the join operation.
% - The meet operation is probably unneeded, so we may restrict the presentation % - The meet operation is probably unneeded, so we may restrict the presentation
% to the join-semilattice (ℤ × View, ⊑, ⊔). % to the join-semilattice (ℤ × View, ⊑, ⊔).
%
\begin{align*}% \begin{align*}%
\statusViewLat \statusViewLat
&\eqdef &\eqdef
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment