Some documentation for wiener first passage time density