From 4ecd8a8a24ce8ae02aae855906b5622841c2ba03 Mon Sep 17 00:00:00 2001 From: David Robertson Date: Mon, 6 Jun 2022 14:13:14 +0100 Subject: [PATCH] Minor typographical tweaks looks better in Firefox. I am sad to be writing a poor man's TeX though. --- content/rooms/fragments/v2-state-res.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/content/rooms/fragments/v2-state-res.md b/content/rooms/fragments/v2-state-res.md index f470e4bd..bd824eb1 100644 --- a/content/rooms/fragments/v2-state-res.md +++ b/content/rooms/fragments/v2-state-res.md @@ -95,13 +95,13 @@ Let *e* = *e0* be another event (possibly another `m.room.power_levels` event). We can compute a similar list of events [*e*1, ..., *em*], where *e*j* + 1* is the `m.room.power_levels` event in the -`auth_events` of *ej*, and where *em* has no +`auth_events` of *ej* and where *em* has no `m.room.power_levels` event in its `auth_events`. (Note that this second list may be empty, because *e* may not cite an `m.room.power_levels` event in its `auth_events` at all.) Now compare these two lists as follows. -* Find the smallest index *j* ≥1 for which *ej* belongs to the +* Find the smallest index *j* ≥ 1 for which *ej* belongs to the mainline of *P*. * If *j* exists, then *ej* = *Pi* for some unique index *i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater @@ -112,8 +112,8 @@ The *mainline ordering based on* *P* of a set of events is the ordering, from smallest to largest, using the following comparison relation on events: for events *x* and *y*, *x* < *y* if -1. the position of *x* in *P*'s mainline is **greater** than - the position of *y* in *P*'s mainline. +1. the position of *x* in the mainline of *P* is **greater** than + the position of *y* in the mainline of *P*. 2. the positions of the events are the same, but *x*'s `origin_server_ts` is *less* than *y*'s `origin_server_ts`; or 3. the positions of the events are the same and the events have the