Mathias forcing consists of conditions of the form $(s,A)$ where $s$ is a finite subset of $\omega$, $A$ is an infinite subset of $\omega$ such that $\max(s) < \min(A)$ and $(s,A)\leq (t,B)$ iff $s\supseteq t$, $A\subseteq B$ and $s\setminus t\subseteq B$.

Laver's forcing, on the other hand, consists of conditions $p$ that are subtrees of $\omega^{< \omega}$ (i.e. they are subsets closed under initial segments) such that there is a node $s\in p$, called the *stem* of $p$, that is comparable with every element of $p$ and moreover, for every $t\in p$, if $s\subseteq t$ then `{$n < \omega | t\frown n\in p$}`

is infinite.

In both forcings, the union of the "working" parts (i.e. the first coordinate in the case of Mathias, the stem in the case of Laver) of the elements of the generic filter give us a generic real. My question is whether there is an easy-to-grasp difference between the generic models that one can obtain by means of these two forcings. This is motivated by the (empirical) "fact" that, based on my experience, everything that can be done with Mathias forcing can usually also be done with Laver's (which is often much more intuitive). For example, both forcings "kill" uncountable strong measure zero sets from the ground model. Also, both forcings are proper, and the proofs for each of the forcings are fairly similar. I sort of understand why they are not forcing equivalent (well, at least I understand why my attempts to define a dense embedding of one into the other fail), and I know that if you iterate these forcings you can actually see some differences. For example, if you look at the table of cardinal characteristics of the continuum at the end of Blass's article in the *Handbook of Set Theory*, you can see that e.g. the splitting number $\mathfrak s$ attains a value of $\omega_1$ in Laver's model, as opposed to a value of $\mathfrak c$ (which in this case is $\omega_2$) in Mathias model. However, these models are the result of iterating these forcings $\omega_2$ many times with countable support, and I'm looking for something more immediate. So, my specific question is:

Suppose $V$ is a fixed model of ZFC (plus CH, or any other hypothesis you might need), and that $G$ is a Laver-generic filter over $V$, and that $H$ is a Mathias-generic filter over $V$. What would be a (or some) easy to grasp (as much as possible, but of course if it's too technical I don't mind going through it) difference between $V[G]$ and $V[H]$? (Thus, I'm not asking for a difference between Laver's and Mathias's model (that are the result of adjoining $\omega_2$ many Laver or Mathias reals, respectively), but for a difference between the models obtained by adding a single Laver or Mathias real).