QUOTE: example : 1 + 1 = 2 := by rfl -- QUOTE. Note the use of the period to mark the end of the quote. /- TEXT: Here is an example of the way that ``rintro`` is used: TEXT. -/ -- QUOTE: example : s ∩ ...

100. WASHINGTON — President Trump on Friday proposed massive cuts to the federal government’s health agencies in his 2026 budget request, arguing that Congress should reduce spending by tens ...