  In this note, we give a self-contained and elementary proof of the elementary
construction of spectral high-dimensional expanders using elementary matrices
due to Kaufman and Oppenheim [Proc. 50th ACM Symp. on Theory of Computing
(STOC), 2018]. As a bonus, this also yields a simple construction and analysis
of standard expanders.
