Let X be a compact symplectic manifold with a form $\omega$. And $X \times X$ is equipped with the symplectic form $(\omega,-\omega)$. The diagonal $\Delta:X \mapsto X \times X$ is a Lagrangian submanifold. So, in this question, Hochschild (co)homology of Fukaya categories and (quantum) (co)homology. Tim Perutz says "PSS is a canonical ring isomorphism from QH∗(X) to the Hamiltonian Floer cohomology of X, and the latter can be compared straightforwardly to the Lagrangian Floer cohomology of the diagonal." I have no doubt that this second assertion is straightforward, since I have consulted a couple of references and no one spells this out. But, I don't quite see it. I believe what I am missing is the relationship between holomorphic strips in $X\times X$ and holomorphic cylinders in X. (Edit: I would also like to understand the comparison of the product structures too)

Edit: here is a rough geometric idea which might have something to do with the truth. I want to assume that my Hamiltonian is time independent and that all orbits are actually fixed points. Given a map of a strip into $X\times X$ the two projections give us two strips into X. The idea is to glue the strips together to form a cylinder which is a map into X. Of course, this doesn't take into account issues of compactifications and so on... Anyways, if someone would be happy to spell it out I would appreciate it.