terminal svg enhanced size 640 360 set samples 1001 # high quality set border 31 linewidth .3 # thin border set output "half_normal_cdf.svg" set notitle...
