x
<html><style>body { font-size: 20px;}</style><body><span style='font-size:100px;'>⊢</span><p>I will display ⊢</p><p>I will display ⊢</p></body></html><html><style>body { font-size: 20px;}</style><body><span style='font-size:100px;'>⊢</span><p>I will display ⊢</p><p>I will display ⊢</p></body></html>