{!! htmlspecialchars_decode($body) !!}