update format for github rendering

input-output-hk · Jan 27, 2021 · f5a376b · f5a376b
1 parent f321245
commit f5a376b
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 38 deletions.
diff --git a/cancellation_properties.org b/cancellation_properties.org
@@ -1,44 +1,44 @@
 * Properties avoiding wrong cancellation
 
 ** Property 1
-*IF* a consensus update proposal $p_{1}$ is canceled  \\
-*THEN* \\
-  $\hspace{1ex}$ One of the following conditions shall be satisfied:
-     - Proposal $p_{1}$ supersedes a version that is lower than the current version of the blockchain; *OR*
+*IF* a consensus update proposal /p_{1}/ is canceled \\
+*THEN*
+  - One of the following conditions shall be satisfied:
+     - Proposal /p_{1}/ supersedes a version that is lower than the current version of the blockchain; *OR*
 
-     - A cancellation proposal to cancel $p_{1}$ is approved such that:
-         - The current slot is less than $2k$ blocks before the end of the "current epoch" *OR* \\
-         - Proposal $p_{1}$ has *NOT* gathered enough endorsing stake $2k$ blocks before the end of the "current epoch"; *OR*
+     - A cancellation proposal to cancel /p_{1}/ is approved such that:
+         - The current slot is less than /2k/ blocks before the end of the "current epoch" *OR* \\
+         - Proposal /p_{1}/ has *NOT* gathered enough endorsing stake /2k/ blocks before the end of the "current epoch"; *OR*
 
-     - Another parameter/consensus update proposal $p_{2}$ with the same version as $p_{1}$ is approved such that:
-         - Proposal $p_{1}$ is also approved at the current slot *AND*
-         - Proposal $p_{2}$ has a higher approval stake than $p_{1}$ *OR* \\
-           Both $p_{1}$ and $p_{2}$ has the same approval stake but $p_{2}$ has the greatest id; *OR*
+     - Another parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ is approved such that:
+         - Proposal /p_{1}/ is also approved at the current slot *AND*
+         - Proposal /p_{2}/ has a higher approval stake than /p_{1}/ *OR* \\
+           Both /p_{1}/ and /p_{2}/ has the same approval stake but /p_{2}/ has the greatest id; *OR*
 
-     - Another parameter/consensus update proposal $p_{2}$ with the same version as $p_{1}$ is approved such that:
-         - Proposal $p_{1}$ was approved at a previous slot *AND*
-         - The current slot is less than $2k$ blocks before the end of the "current epoch" *OR* \\
-           Proposal $p_{1}$ has *NOT* gathered enough endorsing stake $2k$ blocks before the end of the "current epoch"; *OR*
+     - Another parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ is approved such that:
+         - Proposal /p_{1}/ was approved at a previous slot *AND*
+         - The current slot is less than /2k/ blocks before the end of the "current epoch" *OR* \\
+           Proposal /p_{1}/ has *NOT* gathered enough endorsing stake /2k/ blocks before the end of the "current epoch"; *OR*
 
-     - The safety lag of proposal $p_{1}$ expires at the next epoch such that:
-        - The current slot is $2k$ blocks before the end of the current epoch *AND*
-        - Proposal $p_{1}$ has *NOT* gathered enough endorsing stake.
+     - The safety lag of proposal /p_{1}/ expires at the next epoch such that:
+        - The current slot is /2k/ blocks before the end of the current epoch *AND*
+        - Proposal /p_{1}/ has *NOT* gathered enough endorsing stake.
 
 
 ** Property 2
-  *IF* a parameter update proposal $p_{1}$ is canceled \\
-  *THEN* \\
-   $\hspace{1ex}$ One of the following conditions shall be satisfied:
-     - Proposal $p_{1}$ supersedes a version that is lower than the current version of the blockchain; *OR*
-
-     - A cancellation proposal to cancel $p_{1}$ is approved such that:
-         - The current slot is less than $2k$ blocks before the end of the "current epoch"; *OR*
-
-     - Another parameter/consensus update proposal $p_{2}$ with the same version as $p_{1}$ is approved such that:
-         - Proposal $p_{1}$ is also approved at the current slot *AND*
-         - Proposal $p_{2}$ has a higher approval stake than $p_{1}$ *OR* \\
-           Both $p_{1}$ and $p_{2}$ has the same approval stake but $p_{2}$ has the greatest id; *OR*
-
-     - Another parameter/consensus update proposal $p_{2}$ with the same version as $p_{1}$ is approved such that:
-         - Proposal $p_{1}$ was approved at a previous slot *AND*
-         - The current slot is less than $2k$ blocks before the end of the "current epoch".
+  *IF* a parameter update proposal /p_{1}/ is canceled \\
+  *THEN*
+   - One of the following conditions shall be satisfied:
+     - Proposal /p_{1}/ supersedes a version that is lower than the current version of the blockchain; *OR*
+
+     - A cancellation proposal to cancel /p_{1}/ is approved such that:
+         - The current slot is less than /2k/ blocks before the end of the "current epoch"; *OR*
+
+     - Another parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ is approved such that:
+         - Proposal /p_{1}/ is also approved at the current slot *AND*
+         - Proposal /p_{2}/ has a higher approval stake than /p_{1}/ *OR* \\
+           Both /p_{1}/ and /p_{2}/ has the same approval stake but /p_{2}/ has the greatest id; *OR*
+
+     - Another parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ is approved such that:
+         - Proposal /p_{1}/ was approved at a previous slot *AND*
+         - The current slot is less than /2k/ blocks before the end of the "current epoch".
diff --git a/schedule_for_activation_properties.org b/schedule_for_activation_properties.org
@@ -16,8 +16,7 @@ afterwards and /p_{1}/ has not gathered enough endorsement.
 ** Property 2
 *IF* a parameter update proposal /p_{1}/ is "/scheduled for activation/" \\
 *THEN*
- - *NO* other parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ has passed
- the approval phase such that:
+ - *NO* other parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ has passed the approval phase such that:
    - Proposal /p_{2}/ was approved at a slot greater than the approval slot of /p_{1}/ *AND*
    - One of the following conditions is satisfied:
       - Proposal /p_{2}/ was approved at a slot less than /2k/ blocks before the end of the approval epoch for /p_{1}/; *OR*
@@ -34,8 +33,7 @@ epoch and /p_{2}/ is approved before /2k/ blocks of the end of the next epoch, /
 ** Property 3
 *IF* a parameter/consensus update proposal /p_{1}/ is "/scheduled for activation/" \\
 *THEN*
- - *NO* other parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ has passed
- the approval phase such that:
+ - *NO* other parameter/consensus update proposal /p_{2}/ with the same version as /p_{1}/ has passed the approval phase such that:
    - Proposal /p_{2}/ was approved at the same slot as /p_{1}/ *AND*
    - One of the following conditions is satisfied:
      - Proposal /p_{2}/ has a higher approval stake than /p_{1}/; *OR*