1 2 3 4 5 6 7 8 9
/- Here's some explanatory text. ```lean -- This code is inside a comment block def nested_example := 100 ``` More explanatory text -/ def outside_example := 200