Filip/matrix-spec
1
0
Fork 0
mirror of https://github.com/matrix-org/matrix-spec synced 2026-03-26 21:14:09 +01:00
Code Issues Actions 3 Packages Projects Releases Wiki Activity

Minor typographical tweaks

Browse source 
looks better in Firefox. I am sad to be writing a poor man's TeX though.
This commit is contained in:
David Robertson 2022-06-06 14:13:14 +01:00
parent c2d55eed84
commit 4ecd8a8a24
No known key found for this signature in database
GPG key ID: 903ECE108A39DEDD
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
content/rooms/fragments/v2-state-res.md
View file

@ -95,13 +95,13 @@ Let *e* = *e<sub>0</sub>* be another event (possibly another
`m.room.power_levels` event). We can compute a similar list of events `m.room.power_levels` event). We can compute a similar list of events
[*e*<sub>1</sub>, ..., *e<sub>m</sub>*], [*e*<sub>1</sub>, ..., *e<sub>m</sub>*],
where *e<sub>*j* + 1</sub>* is the `m.room.power_levels` event in the where *e<sub>*j* + 1</sub>* is the `m.room.power_levels` event in the
`auth_events` of *e<sub>j</sub>*, and where *e<sub>m</sub>* has no `auth_events` of *e<sub>j</sub>* and where *e<sub>m</sub>* has no
`m.room.power_levels` event in its `auth_events`. (Note that this second list `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 may be empty, because *e* may not cite an `m.room.power_levels` event in its
`auth_events` at all.) `auth_events` at all.)
Now compare these two lists as follows. Now compare these two lists as follows.
* Find the smallest index *j* ≥1 for which *e<sub>j</sub>* belongs to the * Find the smallest index *j* ≥ 1 for which *e<sub>j</sub>* belongs to the
mainline of *P*. mainline of *P*.
* If *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique index * If *j* exists, then *e<sub>j</sub>* = *P<sub>i</sub>* for some unique index
*i* ≥ 0. Otherwise set *i* = ∞, where ∞ is a sentinel value greater *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 from smallest to largest, using the following comparison relation on
events: for events *x* and *y*, *x* &lt; *y* if events: for events *x* and *y*, *x* &lt; *y* if
1. the position of *x* in *P*'s mainline is **greater** than 1. the position of *x* in the mainline of *P* is **greater** than
the position of *y* in *P*'s mainline. the position of *y* in the mainline of *P*.
2. the positions of the events are the same, but *x*'s 2. the positions of the events are the same, but *x*'s
`origin_server_ts` is *less* than *y*'s `origin_server_ts`; or `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 3. the positions of the events are the same and the events have the