use substack instead of stackrel