diff options
Diffstat (limited to 'spec/dir-spec/assigning-flags-vote.md')
-rw-r--r-- | spec/dir-spec/assigning-flags-vote.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/spec/dir-spec/assigning-flags-vote.md b/spec/dir-spec/assigning-flags-vote.md index 84d024b..7b7a59e 100644 --- a/spec/dir-spec/assigning-flags-vote.md +++ b/spec/dir-spec/assigning-flags-vote.md @@ -63,12 +63,12 @@ through 0.1.1.16-rc are stupid this way.) To calculate weighted MTBF, compute the weighted mean of the lengths of all intervals when the router was observed to be up, weighting -intervals by $\alpha^n$, where $n$ is the amount of time that has -passed since the interval ended, and $\alpha$ is chosen so that +intervals by $\\alpha^n$, where $n$ is the amount of time that has +passed since the interval ended, and $\\alpha$ is chosen so that measurements over approximately one month old no longer influence the weighted MTBF much. -[XXXX what happens when we have less than 4 days of MTBF info.] +\[XXXX what happens when we have less than 4 days of MTBF info.\] "Exit" -- A router is called an 'Exit' iff it allows exits to at least one /8 address space on each of ports 80 and 443. (Up until |